Lindel%C3%B6f_space
Real_line
Separable_space
Topological_space
Topology